La Piedra Angular: Continuidad de Lipschitz
Para controlar cómo se propagan los errores, necesitamos una función $f(t, y)$ que no "salte" demasiado bruscamente. Esto se formaliza mediante el Condición de Lipschitz.
Una función $f(t, y)$ satisface una condición de Lipschitz en la variable $y$ sobre un conjunto $D \subset \mathbb{R}^2$ si existe una constante $L > 0$ tal que:
$$|f(t, y_1) - f(t, y_2)| \le L|y_1 - y_2|$$
para todo $(t, y_1), (t, y_2) \in D$. Esta constante $L$ es el "límite de velocidad" para el cambio vertical de la función.
Ejemplo 1: Análisis de Constantes de Lipschitz
Considere $f(t, y) = t|y|$ en $D = \{(t, y) \mid 1 \le t \le 2, -3 \le y \le 4\}$. Por el Teorema del Valor Medio (o propiedades de los valores absolutos):
$|f(t, y_1) - f(t, y_2)| = |t|y_1| - t|y_2|| = |t| \cdot ||y_1| - |y_2|| \le |t| \cdot |y_1 - y_2|$.
Dado que el valor máximo de $t$ en nuestro dominio es 2, la constante de Lipschitz es $L=2$.
Integridad Geométrica del Dominio
No podemos resolver un PVI en un dominio lleno de agujeros. Requerimos Convexidad.
Un conjunto $D$ es convexo si para cualquier par de puntos $(t_1, y_1)$ y $(t_2, y_2)$, el segmento definido por:
$$((1 - \lambda)t_1 + \lambda t_2, (1 - \lambda)y_1 + \lambda y_2)$$
para $\lambda \in [0, 1]$ también está contenido en $D$. Esto garantiza que ninguna parte de la trayectoria de la solución "salga" de la zona válida de cálculo.
Teorema de Existencia y Unicidad
Cuando estas condiciones coinciden, invocamos Teorema 5.4: Si $f$ es continua y satisface una condición de Lipschitz en un conjunto convexo $D$, entonces el PVI $y' = f(t, y), y(a) = \alpha$ tiene una única solución $y(t)$. Esto justifica métodos tan simples como el de Euler ($w_{i+1} = w_i + h f(t_i, w_i)$) o tan complejos como la lógica predictor-corregidor:
$WC = w_{i-1} + \frac{h}{24}[9f(t_i, WP) + 19f(t_{i-1}, w_{i-1}) - 5f(t_{i-2}, w_{i-2}) + f(t_{i-3}, w_{i-3})]$.